Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
201	Automatic Generation of Peephole Superoptimizers Sorav Bansal and Alex Aiken Computer Systems Lab Stanford University {sbansal, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-01 01:50:46 Programming language implementation X86 instructions Peephole optimization Superoptimization MOV X86 architecture Assembly language X86 CPUID Computer architecture Compiler optimizations Computing
202	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
203	Maximum Likelihood Estimation of Logistic Regression Models: Theory and Implementation Scott A. Czepiel∗ Abstract This article presents an overview of the logistic regression model Add to Reading List Source URL: chem-eng.utoronto.ca Language: English - Date: 2011-04-18 19:06:11 Estimation theory Actuarial science Categorical data Logistic regression Linear regression Generalized linear model Least squares Multinomial logit Maximum likelihood Statistics Regression analysis Econometrics
204	R&D, Implementation and Stagnation: A Schumpeterian Theory of Convergence Clubs∗ By Peter Howitt†and David Mayer-Foulkes‡ August 2, 2004 We provide a theoretical explanation, based on Schumpeterian growth theory, Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2004-08-02 11:27:29 Macroeconomics Science Welfare economics Neoclassical growth model Oded Galor Productivity Development economics Innovation Convergence Technology Economic growth Economics
205	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
206	Compilation for Explicitly Managed Memory Hierarchies Timothy J. Knight Ji Young Park Manman Ren Mike Houston Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-01-12 21:55:15 Compiler optimizations Computer memory Programming language implementation Compiler construction Parallel computing Cell Compiler SPMD Software pipelining Computing Software engineering Computer programming
207	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
208	Binary Translation Using Peephole Superoptimizers Sorav Bansal Computer Systems Lab Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-10-08 02:44:11 Instruction set architectures Compiler optimizations Programming language implementation Binary translation X86 Accumulator Transmeta Reduced instruction set computing MOV Computer architecture Computing X86 architecture
209	Design and Implementation of Exception Handling for Modelica Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2011-06-28 04:39:13 Application software Computing Modelica Dynamical systems Control theory Dynamic simulation Differential equation Mathematical model Nonlinear system Mathematics Simulation software Object-oriented programming
210	REQUEST FOR PROPOSAL For Development & Implementation of Web based System for various functions of Add to Reading List Source URL: pblabour.gov.in Language: English - Date: 2013-07-04 01:26:30 Procurement Manufacturing Purchasing Systems engineering First-price sealed-bid auction Request for proposal Auction Design–bid–build Business Auctioneering Auction theory

UPDATE